3 research outputs found
Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Grid computing (GC) systems are large-scale virtual machines, built upon a
massive pool of resources (processing time, storage, software) that often span
multiple distributed domains. Concurrent users interact with the grid by adding
new tasks; the grid is expected to assign resources to tasks in a fair,
trustworthy way. These distinctive features of GC systems make their
specification and verification a challenging issue. Although prior works have
proposed formal approaches to the specification of GC systems, a precise
account of the interaction model which underlies resource sharing has not been
yet proposed. In this paper, we describe ongoing work aimed at filling in this
gap. Our approach relies on (higher-order) process calculi: these core
languages for concurrency offer a compositional framework in which GC systems
can be precisely described and potentially reasoned about.Comment: In Proceedings DCM 2013, arXiv:1403.768
Comprobación probabilística de resultados de programas
Este artículo presenta una visión global del tema comprobación probabilística de resultados de programas, resaltando la necesidad introducir la noción de comprobación en el contexto de desarrollo y depuración de software e ilustrando con un ejemplo sencillo la utilidad de esta teoría
LA INCLUSIÓN EDUCATIVA EN LA PERSPECTIVA INTERDISCIPLINARIA
SE DAN APORTACIONES QUE AYUDAN A COMPRENDER QUE ACCCIONES Y CAMBIOS TOMAR PARA MEJORAR LA EDUCACIÓN.EL LIBR PRESENTA DIVERSOS TRABAJOS QUE ABORDAN LA PROBLEMÁTICA DE LA EDUCACIÓN DESDE LA PERSPECTIVA INTERDISCIPLINARIA.NINGUN